$\forall$$A$, $B$:Type, $b$:$B$, $a$:$A$. strong{-}subtype($B$;$A$) $\Rightarrow$ \{$b$ $=$ $a$ $\in$ $A$ $\Rightarrow$ $b$ $=$ $a$ $\in$ $B$\}